 |
Your search returned 4 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1997 Volume number : 23 Issue: 05 |
Formal Requirements Analysis Of An Avionics Control System
(Article)
Subject:
Formal Specification
,
Formal Verification
,
Safety Cases
,
Avionics
Author:
Bruno
Dutertre
Victoria
Stavridou
page:
267
-
278
The Model Checker Spin
(Article)
Subject:
Formal Methods
,
Program Verification
,
Design Verification
,
Model Checking
Author:
Gerard J.
Holzmann
page:
279
-
295
Eva A Flexible Programming Method For Evolving Systems
(Article)
Subject:
Programming
,
Reuse
,
Formal Programming Techniques
Author:
Saeko
Matsuura
Hironobu
Kuruma
Shinichi
Honiden
page:
296
-
313
Dynamic Verification Of C++ Generic Algorithms
(Article)
Subject:
Specification
,
Verification
,
Generic
,
C++Templates
Author:
Changqing
Wang
Amy
Musser
page:
314
-
323
|
|
| | |
